hombre(pedro).
hombre(paco).
hombre(yoas).
hombre(luis).
hombre(luisjr).
mujer(luz).
mujer(maria).
mujer(janice).
mujer(samantha).
mujer(virginia).
progenitor(pedro,paco).
progenitor(pedro,maria).
progenitor(luz,paco).
progenitor(luz,maria).
progenitor(yoas,pedro).
progenitor(janice,pedro).
progenitor(yoas,luis).
progenitor(janice,luis).
progenitor(luis,virginia).
progenitor(samantha,virginia).
progenitor(luis,luisjr).
progenitor(samantha,luisjr).

%reglas
madre(X,Y):-progenitor(X,Y),mujer(X).
padre(X,Y):-progenitor(X,Y),hombre(X).

%hijo
%hijo(X,Y):-madre(Y,X);padre(Y,X).
hijo(X,Y):-progenitor(Y,X),hombre(X).
hija(X,Y):-progenitor(Y,X),mujer(X).

%abuelos
abuelo(X,Y):-progenitor(X,Z),progenitor(Z,Y),hombre(X).
abuela(X,Y):-progenitor(X,Z),progenitor(Z,Y),mujer(X).

%nietos
nieto(X,Y):-(abuelo(Y,X);abuela(Y,X)),hombre(X).
nieta(X,Y):-(abuelo(Y,X);abuela(Y,X)),mujer(X).

%hermanos
hermano(X,Y):-progenitor(Z,X),progenitor(Z,Y),hombre(Z),
	progenitor(W,X),progenitor(W,Y),mujer(W),X\=Y,hombre(X).
hermana(X,Y):-progenitor(Z,X),progenitor(Z,Y),hombre(Z),
	progenitor(W,X),progenitor(W,Y),mujer(W),X\=Y,mujer(X).

%tios
tio(X,Y):-progenitor(Z,Y),hermano(X,Z),hombre(X).
tia(X,Y):-progenitor(Z,Y),hermana(X,Z),mujer(X).

%primos
primo(X,Y):-progenitor(A,X),progenitor(B,Y),hermano(A,B),hombre(X).
primo(X,Y):-progenitor(A,X),progenitor(B,Y),hermana(A,B),hombre(X).
prima(X,Y):-progenitor(A,X),progenitor(B,Y),hermano(A,B),mujer(X).
prima(X,Y):-progenitor(A,X),progenitor(B,Y),hermana(A,B),mujer(X).